Normal form - PDFSEARCH.IO - Document Search Engine

Normal form
Results: 706

#	Item
691	PDF Document Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2008-05-07 17:14:15 NP-complete problems Boolean algebra Hamiltonian path Gray code Boolean satisfiability problem Conjunctive normal form Induced path Propositional formula Cube Mathematics Theoretical computer science Graph theory
692	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-06-02 16:27:23 Boolean algebra Conjunctive normal form Disjunctive normal form Implicant Decision list IP FO Time complexity Boolean satisfiability problem Theoretical computer science Computational complexity theory Mathematics
693	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2009-10-12 16:16:00 NP-complete problems Logic in computer science Boolean algebra Analysis of algorithms Exponential time hypothesis 2-satisfiability Conjunctive normal form Boolean satisfiability problem Clique problem Theoretical computer science Computational complexity theory Applied mathematics
694	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-01-30 14:49:57 Quantification Model theory Metalogic Branching quantifier First-order logic FO Skolem normal form Propositional variable Universal quantification Logic Mathematical logic Predicate logic
695	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2002-04-24 17:27:28 NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science 2-satisfiability Conjunctive normal form PP MAX-3SAT Theoretical computer science Computational complexity theory Applied mathematics
696	PDF Document Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2001-07-18 03:53:12 Numerical linear algebra Matrix theory Matrices Smith normal form Gaussian elimination Rank Matrix Hermite normal form Diagonalizable matrix Algebra Mathematics Linear algebra
697	PDF Document Add to Reading List Source URL: www.informatica-didactica.de Language: English - Date: 2010-06-10 05:23:56 Logic Chomsky normal form Context-free grammar Cyk GLR parser Context-free language LR parser Formal grammar Computing Formal languages CYK algorithm Mathematics
698	PDF Document Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2010-09-29 10:46:30 Database theory Third normal form Boyce–Codd normal form Database normalization Relational database Data management Data modeling Database constraints
699	PDF Document Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2004-03-05 20:33:45 Correlated equilibrium Nash equilibrium Chicken Outcome Normal-form game Risk dominance Coordination game Game theory Problem solving Economics
700	PDF Document Add to Reading List Source URL: www.nue.riec.tohoku.ac.jp Language: English - Date: 2008-11-04 01:37:22 Logic in computer science Formal languages Lambda calculus Mathematical logic Rewriting Computability theory Combinatory logic Normal form Overlap Theoretical computer science Mathematics Computer science

UPDATE